Thai Son Hoang: искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (5)
Самые популярные
Список
- Список
- Таблица

1

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)

Год:

2008

Язык:

english

Файл:

PDF, 5.71 MB

0 / 0

english, 2008

2

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 10.61 MB

0 / 0

english, 2009

3

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 5.05 MB

0 / 0

english, 2009

4

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)

Год:

2008

Язык:

english

Файл:

PDF, 9.77 MB

0 / 0

english, 2008

5

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Springer International Publishing

Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl

Год:

2018

Язык:

english

Файл:

PDF, 18.79 MB

0 / 0

english, 2018